[prev] [prev-tail] [tail] [up]

2.2.11 Integrals 1001 to 1081

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 91 111 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.527 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

135 143 99 75 57 62 0 162 831

N.S.

1 1.06 0.73 0.56 0.42 0.46 0.00 1.20 6.16

time (sec)

N/A 0.259 7.236 4.579 0.195 0.309 0.000 0.288 75.080

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

104 107 87 65 47 57 0 127 632

N.S.

1 1.03 0.84 0.62 0.45 0.55 0.00 1.22 6.08

time (sec)

N/A 0.233 1.366 4.599 0.184 0.283 0.000 0.286 45.134

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 74 404 52 37 52 0 92 0

N.S.

1 1.01 5.53 0.71 0.51 0.71 0.00 1.26 0.00

time (sec)

N/A 0.194 1.927 4.592 0.189 0.277 0.000 0.286 0.000

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 264 72 26 46 61 57 41

N.S.

1 1.00 7.14 1.95 0.70 1.24 1.65 1.54 1.11

time (sec)

N/A 0.164 1.492 4.593 0.187 0.284 0.650 0.277 9.381

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 69 184 47 27 55 0 0 129

N.S.

1 1.03 2.75 0.70 0.40 0.82 0.00 0.00 1.93

time (sec)

N/A 0.193 1.192 4.574 0.274 0.274 0.000 0.000 10.549

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 421 23 10 30 0 48 31

N.S.

1 1.00 13.58 0.74 0.32 0.97 0.00 1.55 1.00

time (sec)

N/A 0.142 2.507 4.574 0.276 0.262 0.000 0.299 9.136

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 36 28 21 37 0 90 43

N.S.

1 1.00 0.57 0.44 0.33 0.59 0.00 1.43 0.68

time (sec)

N/A 0.169 10.024 4.825 0.263 0.271 0.000 0.284 9.296

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 99 41 33 31 44 0 111 55

N.S.

1 1.05 0.44 0.35 0.33 0.47 0.00 1.18 0.59

time (sec)

N/A 0.194 10.050 4.608 0.265 0.262 0.000 0.310 9.416

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 135 46 38 41 49 0 132 67

N.S.

1 1.08 0.37 0.30 0.33 0.39 0.00 1.06 0.54

time (sec)

N/A 0.222 10.078 4.696 0.281 0.250 0.000 0.319 9.363

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

104 107 88 65 47 57 0 76 632

N.S.

1 1.03 0.85 0.62 0.45 0.55 0.00 0.73 6.08

time (sec)

N/A 0.226 1.359 4.820 0.194 0.258 0.000 0.282 38.441

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

73 71 75 55 37 52 0 59 429

N.S.

1 0.97 1.03 0.75 0.51 0.71 0.00 0.81 5.88

time (sec)

N/A 0.192 1.366 4.748 0.186 0.263 0.000 0.299 26.035

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 265 41 24 46 0 39 0

N.S.

1 1.00 7.57 1.17 0.69 1.31 0.00 1.11 0.00

time (sec)

N/A 0.159 1.521 4.609 0.195 0.258 0.000 0.276 0.000

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 38 40 16 27 0 20 6

N.S.

1 1.00 4.75 5.00 2.00 3.38 0.00 2.50 0.75

time (sec)

N/A 0.138 1.034 4.587 0.180 0.259 0.000 0.273 9.438

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 146 20 10 25 0 25 19

N.S.

1 1.00 5.03 0.69 0.34 0.86 0.00 0.86 0.66

time (sec)

N/A 0.141 1.130 4.576 0.266 0.260 0.000 0.290 9.677

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 407 25 21 34 0 48 33

N.S.

1 1.00 6.46 0.40 0.33 0.54 0.00 0.76 0.52

time (sec)

N/A 0.170 2.557 4.592 0.269 0.271 0.000 0.281 9.681

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 99 41 30 31 39 0 69 43

N.S.

1 1.05 0.44 0.32 0.33 0.41 0.00 0.73 0.46

time (sec)

N/A 0.195 1.327 4.588 0.281 0.319 0.000 0.304 9.710

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 80 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.217 0.088 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

70 70 72 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.197 0.066 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 73 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.194 0.060 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

72 73 73 0 0 0 0 0 0

N.S.

1 1.01 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.212 0.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 76 78 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.213 0.069 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 19 15 12 15 11 10 16 11

N.S.

1 1.27 1.00 0.80 1.00 0.73 0.67 1.07 0.73

time (sec)

N/A 0.166 0.009 4.601 0.186 0.315 0.050 0.280 0.084

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 110 46 36 40 36 48 31

N.S.

1 1.00 5.00 2.09 1.64 1.82 1.64 2.18 1.41

time (sec)

N/A 0.153 0.272 12.094 0.283 0.307 2.174 0.312 9.198

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 114 88 0 0 0 0 0 0

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.235 0.295 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 89 78 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.208 0.127 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 89 78 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.200 0.113 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

72 72 64 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.186 0.033 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 58 58 69 58 348 0 162

N.S.

1 1.00 0.92 0.92 1.10 0.92 5.52 0.00 2.57

time (sec)

N/A 0.221 0.091 4.883 0.282 0.333 1.335 0.000 9.984

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 90 74 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.219 0.122 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 95 77 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.228 0.127 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

175 195 141 0 0 0 0 0 0

N.S.

1 1.11 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.447 0.437 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 160 135 0 0 0 0 0 0

N.S.

1 1.13 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.389 0.218 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 161 134 0 0 0 0 0 0

N.S.

1 1.13 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.361 0.217 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 142 108 0 0 0 0 0 0

N.S.

1 1.16 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.314 0.137 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 98 107 100 151 224 0 0 0

N.S.

1 0.97 1.06 0.99 1.50 2.22 0.00 0.00 0.00

time (sec)

N/A 0.284 0.216 5.128 0.201 0.303 0.000 0.000 0.000

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 158 133 0 0 0 0 0 0

N.S.

1 1.11 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.391 0.238 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 163 136 0 0 0 0 0 0

N.S.

1 1.12 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.392 0.231 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 119 134 188 231 177 347 0 0

N.S.

1 0.92 1.03 1.45 1.78 1.36 2.67 0.00 0.00

time (sec)

N/A 0.301 0.197 5.406 0.213 0.518 3.833 0.000 0.000

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 82 87 118 150 108 221 0 0

N.S.

1 0.91 0.97 1.31 1.67 1.20 2.46 0.00 0.00

time (sec)

N/A 0.261 0.137 4.932 0.195 0.446 2.132 0.000 0.000

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 55 50 65 83 56 116 0 0

N.S.

1 0.92 0.83 1.08 1.38 0.93 1.93 0.00 0.00

time (sec)

N/A 0.216 0.081 4.688 0.202 0.264 1.258 0.000 0.000

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 52 44 59 60 45 0 0 0

N.S.

1 0.96 0.81 1.09 1.11 0.83 0.00 0.00 0.00

time (sec)

N/A 0.216 0.085 5.064 0.205 0.276 0.000 0.000 0.000

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 70 75 107 121 120 0 0 0

N.S.

1 0.93 1.00 1.43 1.61 1.60 0.00 0.00 0.00

time (sec)

N/A 0.235 0.134 5.375 0.203 0.288 0.000 0.000 0.000

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 97 100 157 243 267 0 0 0

N.S.

1 0.92 0.95 1.50 2.31 2.54 0.00 0.00 0.00

time (sec)

N/A 0.261 0.191 6.238 0.198 0.308 0.000 0.000 0.000

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 144 185 342 286 230 428 0 0

N.S.

1 0.91 1.17 2.16 1.81 1.46 2.71 0.00 0.00

time (sec)

N/A 0.335 0.242 5.720 0.206 0.296 5.482 0.000 0.000

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 107 125 157 192 146 277 0 0

N.S.

1 0.91 1.06 1.33 1.63 1.24 2.35 0.00 0.00

time (sec)

N/A 0.279 0.169 4.905 0.216 0.275 3.199 0.000 0.000

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 78 76 91 112 82 150 0 0

N.S.

1 0.91 0.88 1.06 1.30 0.95 1.74 0.00 0.00

time (sec)

N/A 0.234 0.112 4.820 0.196 0.276 1.859 0.000 0.000

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 66 66 78 81 74 0 0 0

N.S.

1 0.93 0.93 1.10 1.14 1.04 0.00 0.00 0.00

time (sec)

N/A 0.230 0.119 5.027 0.216 0.283 0.000 0.000 0.000

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 90 93 125 147 166 0 0 0

N.S.

1 0.95 0.98 1.32 1.55 1.75 0.00 0.00 0.00

time (sec)

N/A 0.265 0.166 5.405 0.212 0.293 0.000 0.000 0.000

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 112 94 169 262 301 0 0 0

N.S.

1 0.93 0.78 1.41 2.18 2.51 0.00 0.00 0.00

time (sec)

N/A 0.283 0.277 6.234 0.209 0.278 0.000 0.000 0.000

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 172 155 154 154 175 13 154

N.S.

1 1.00 12.29 11.07 11.00 11.00 12.50 0.93 11.00

time (sec)

N/A 0.131 0.006 4.543 0.189 0.266 0.043 0.286 0.169

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 182 157 156 156 182 156 156

N.S.

1 1.00 11.38 9.81 9.75 9.75 11.38 9.75 9.75

time (sec)

N/A 0.142 0.007 4.741 0.195 0.270 0.044 0.285 9.152

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 186 157 156 156 185 156 156

N.S.

1 1.00 11.62 9.81 9.75 9.75 11.56 9.75 9.75

time (sec)

N/A 0.153 0.006 4.659 0.195 0.254 0.045 0.292 9.182

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 230 229 189 360 189 229

N.S.

1 1.00 1.00 10.95 10.90 9.00 17.14 9.00 10.90

time (sec)

N/A 0.154 0.061 183.423 0.207 0.267 10.799 0.364 9.550

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 107 50 16 32 39 70 25

N.S.

1 1.00 8.23 3.85 1.23 2.46 3.00 5.38 1.92

time (sec)

N/A 0.151 0.256 12.568 0.255 0.278 2.239 0.315 9.163

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 9 9 9 9 10 8 11 8

N.S.

1 1.12 1.12 1.12 1.12 1.25 1.00 1.38 1.00

time (sec)

N/A 0.148 0.007 4.615 0.198 0.247 0.051 0.266 9.027

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 17 15 14 17 13 12 18 13

N.S.

1 1.13 1.00 0.93 1.13 0.87 0.80 1.20 0.87

time (sec)

N/A 0.155 0.009 4.603 0.193 0.256 0.080 0.274 9.150

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 17 15 14 17 13 12 15 13

N.S.

1 1.13 1.00 0.93 1.13 0.87 0.80 1.00 0.87

time (sec)

N/A 0.166 0.010 4.626 0.196 0.256 0.087 0.278 9.100

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 17 19 17 47 17 29 0 15

N.S.

1 1.13 1.27 1.13 3.13 1.13 1.93 0.00 1.00

time (sec)

N/A 0.163 0.044 4.691 0.194 0.377 0.282 0.000 8.696

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 81 81 87 13 12

N.S.

1 1.00 1.00 0.93 5.79 5.79 6.21 0.93 0.86

time (sec)

N/A 0.132 0.024 4.626 0.218 0.487 0.428 0.261 11.279

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 81 81 87 15 14

N.S.

1 1.00 1.00 0.94 5.06 5.06 5.44 0.94 0.88

time (sec)

N/A 0.145 0.034 4.648 0.207 0.389 0.656 0.272 2.276

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 81 81 87 15 14

N.S.

1 1.00 1.00 0.94 5.06 5.06 5.44 0.94 0.88

time (sec)

N/A 0.149 0.041 4.817 0.212 0.690 0.895 0.283 13.805

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 23 612 105 129 0 105

N.S.

1 1.00 1.00 1.10 29.14 5.00 6.14 0.00 5.00

time (sec)

N/A 0.152 0.107 14.915 0.247 0.293 41.767 0.000 9.389

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 46 69 53 46 58 56 37

N.S.

1 1.00 0.88 1.33 1.02 0.88 1.12 1.08 0.71

time (sec)

N/A 0.171 0.086 5.315 0.274 0.273 27.375 0.267 9.000

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 142 143 0 757 0 0 0

N.S.

1 1.00 1.53 1.54 0.00 8.14 0.00 0.00 0.00

time (sec)

N/A 0.233 10.505 0.154 0.000 0.419 0.000 0.000 0.000

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

252 226 223 0 0 607 0 0 0

N.S.

1 0.90 0.88 0.00 0.00 2.41 0.00 0.00 0.00

time (sec)

N/A 0.304 1.836 0.000 0.000 0.318 0.000 0.000 0.000

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

199 181 178 0 0 469 0 0 0

N.S.

1 0.91 0.89 0.00 0.00 2.36 0.00 0.00 0.00

time (sec)

N/A 0.271 1.032 0.000 0.000 0.309 0.000 0.000 0.000

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 136 141 0 0 359 0 0 0

N.S.

1 0.93 0.97 0.00 0.00 2.46 0.00 0.00 0.00

time (sec)

N/A 0.240 0.568 0.000 0.000 0.304 0.000 0.000 0.000

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 87 123 0 0 281 0 0 0

N.S.

1 0.98 1.38 0.00 0.00 3.16 0.00 0.00 0.00

time (sec)

N/A 0.215 0.338 0.000 0.000 0.290 0.000 0.000 0.000

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 89 122 0 0 408 0 0 0

N.S.

1 0.98 1.34 0.00 0.00 4.48 0.00 0.00 0.00

time (sec)

N/A 0.214 1.056 0.000 0.000 0.350 0.000 0.000 0.000

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 93 57 0 0 135 0 0 0

N.S.

1 0.98 0.60 0.00 0.00 1.42 0.00 0.00 0.00

time (sec)

N/A 0.216 0.932 0.000 0.000 0.422 0.000 0.000 0.000

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

358 295 274 0 0 771 0 0 0

N.S.

1 0.82 0.77 0.00 0.00 2.15 0.00 0.00 0.00

time (sec)

N/A 0.365 2.657 0.000 0.000 0.366 0.000 0.000 0.000

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

291 251 241 0 0 607 0 0 0

N.S.

1 0.86 0.83 0.00 0.00 2.09 0.00 0.00 0.00

time (sec)

N/A 0.340 1.238 0.000 0.000 0.322 0.000 0.000 0.000

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

221 205 191 0 0 471 0 0 0

N.S.

1 0.93 0.86 0.00 0.00 2.13 0.00 0.00 0.00

time (sec)

N/A 0.313 0.643 0.000 0.000 0.295 0.000 0.000 0.000

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 151 157 0 0 361 0 0 0

N.S.

1 1.01 1.05 0.00 0.00 2.41 0.00 0.00 0.00

time (sec)

N/A 0.275 0.425 0.000 0.000 0.299 0.000 0.000 0.000

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

133 131 185 0 0 540 0 0 0

N.S.

1 0.98 1.39 0.00 0.00 4.06 0.00 0.00 0.00

time (sec)

N/A 0.261 0.736 0.000 0.000 0.392 0.000 0.000 0.000

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 163 217 0 0 769 0 0 0

N.S.

1 1.11 1.48 0.00 0.00 5.23 0.00 0.00 0.00

time (sec)

N/A 0.284 1.567 0.000 0.000 0.490 0.000 0.000 0.000

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 21 29 25 46 35 22

N.S.

1 1.00 1.00 1.05 1.45 1.25 2.30 1.75 1.10

time (sec)

N/A 0.141 0.052 4.806 0.244 0.436 0.788 0.290 9.116

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 97 26 35 32 80 52 47

N.S.

1 1.00 3.59 0.96 1.30 1.19 2.96 1.93 1.74

time (sec)

N/A 0.151 0.129 5.363 0.250 0.519 26.646 0.284 8.968

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 97 26 35 32 0 56 47

N.S.

1 1.00 3.59 0.96 1.30 1.19 0.00 2.07 1.74

time (sec)

N/A 0.155 0.130 6.586 0.252 0.274 0.000 0.279 8.916

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 101 60 39 35 116 66 54

N.S.

1 1.00 3.74 2.22 1.44 1.30 4.30 2.44 2.00

time (sec)

N/A 0.159 0.197 6.683 0.271 0.252 17.653 0.315 9.078

[prev] [prev-tail] [front] [up]